COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input jmclet
C00005 ENDMK
C⊗;
\input jmclet
\jmclet
\address
Dr. Sanjaya Addanki
Thomas J. Watson Research Center
IBM
P. O. Box 704
Yorktown Heights, NY  10598
\body

Dear Dr. Addanki:

	Arkady Rabinov worked in the formal reasoning group under
my direction from November 1986 through January 1989.  He first
worked on a project for an editor based operating system until
that project was terminated, then on programming Lisp algorithms
for our parallel Qlisp language and finally on formalizing common
sense knowledge in mathematical logic.

	Rabinov's performance on the first project was good, his
performance on the second project was excellent, and his
performance on the third was absolutely outstanding, resulting in
several published papers on a variety of topics.  Although he
expressed interest in formalization from the beginning of my
acquaintance with him, I didn't ask him to work in this area,
because his previous work didn't seem relevant and because I
didn't have the support in the area to bring in another person.
He finally left my group, because my efforts to get the
additional support required to keep him were unsuccessful.  When
next I can afford it, I will try to get him back.

	The four papers he has authored on formalizing action and
change in the last year, including a paper on the long
outstanding problem of concurrent action, are sure to be
influential.  He is fully prepared to be an outstanding
independent researcher in these areas.

\closing
Sincerely,
John McCarthy
\endletter
\end